msg{-}spec{-}links(${\it snd}$) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$map(($\lambda$$p$.$p$.2); fpf{-}domain(${\it snd}$))